/* Copyright (c) 2007-2012, ben "boin" bonoeil */

#ifndef _HL2DEMO_IEEE754_H_
#define _HL2DEMO_IEEE754_H_

#include <stdint.h>
#include "externc.h"

EXTERN_C float ieee754_get32(const int32_t bits);
EXTERN_C void  ieee754_set32(int32_t * bits, const float v);

#endif /* #ifndef _HL2DEMO_IEEE754_H_ */
